Rename update_dom_time() to update_vcpu_system_time().
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 5 Apr 2006 14:00:42 +0000 (15:00 +0100)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Wed, 5 Apr 2006 14:00:42 +0000 (15:00 +0100)
commitaf73380a31d7597a8c348a815f651c02868bc3cb
tree5662b23b26c78970ea744eb30a1cbdd2e16db86c
parentd808cafa396490aafd6338bb153fdd2f2975df61
Rename update_dom_time() to update_vcpu_system_time().
Introduce new generic function update_domain_wallclock_time().

Signed-off-by: Keir Fraser <keir@xensource.com>
xen/arch/ia64/xen/xentime.c
xen/arch/x86/domain.c
xen/arch/x86/domain_build.c
xen/arch/x86/time.c
xen/common/schedule.c
xen/include/asm-x86/time.h
xen/include/xen/time.h